Formal Analysis of Scores
نویسندگان
چکیده
The subject of this internship was to add a static-analysis module to the score-following system Antescofo. The aim of this static-analysis module is to forecast the temporal behavior of the system during live performances, providing a substantial help to both composers and interprets. We follow an approach similar to the Inverse Method implemented by Etienne André in the tool IMITATOR. This method permits to infer constraints on the timing bounds (parametric delays) in timed automata guarantying the same execution trace as for given reference values for the delays. In our case, the parameters should represent the tempo of the musician, and the constraints should restrict the tempo variations, indicating the degree of freedom in interpretation guarantying the expected realtime behavior of the system. For musicality reasons, we found a way to relax the notion of same execution trace to some alternatives. Le sujet de ce stage était d’ajouter un module d’analyse statique au système de suivi de partitions Antescofo. Le but de ce module d’analyse statique est de prévoir le comportement temporel du système durant les performances (concerts), offrant ainsi une aide substantielle aux compositeurs ainsi qu’aux interprètes. Nous utilisons une approche analogue à celle développée par Etienne André dans l’outil IMITATOR. Cette méthode (Inverse Method) permet l’inférence de contraintes sur les bornes des gardes et des invariants d’un automate temporisé paramétré garantissant un même comportement que pour une instantiation donnée des paramètres. Dans notre cas, les paramètres représentent les délais de jeu du musicien, et les contraintes ont pour but de restreindre les variations de tempo, indiquant le degré de liberté autorisé dans l’interprétation du musicien pour lequel le comportement du système en temps réel reste satisfaisant. La notion de comportement acceptable doit être définie par rapport à des exigences de musicalité.
منابع مشابه
Computationally secure multiple secret sharing: models, schemes, and formal security analysis
A multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants. in such a way a multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants, such that any authorized subset of participants can reconstruct the secrets. Up to now, existing MSSs either require too long shares for participants to be perfect secur...
متن کاملAn Analysis on Formal Typology of Metropolitan Contemporary Housing of Tokyo (by Emphasis on 50 Residential Houses in the City of Tokyo)
متن کامل
Investigation of the Role of Collaboration Network Between State and Formal Public Institutions in Implementation of Watershed Management Projects and Soil Erosion Decrease Case Study: Berentin-Hormozgan Province
In spite of successfulness of watershed management project, this science could not be able to combat soil erosion lonely and it needs the participation of habitants of watersheds that their livelihood completely depends on sustainable resources. So, this research through analysis of collaboration network between state and formal public institutions in implementation of mechanical and biological...
متن کاملThe application of formal axiology to medical education through the hartman value profile: a prospective cohort study
Introduction: Many criteria such as USMLE scores, applicantresumes, Dean’s letters, recommendation letters, personaldiscussions, interview scores and medical school transcripts canbe used to predict the success of a medical trainee in the USA. Thisinformation is either relatively objective, or subjective. It would bevaluable if we had some objective measures that m...
متن کاملEfficiency of Formal Microfinance in Indonesia: Using Data Envelopment Analysis Application
One of the key success factors of the financial institution sustainability is operational efficiencies. Using Data Envelopment Analysis (DEA), this paper measures the relative efficiency of the executing banking units of people business credit (KUR) program in Indonesia. Sample data of this study were obtained from all banking units from banks providing KUR located in the district of Pati, Cen...
متن کاملThe Type of Audit Firms Mergers in Iran: Formal or Real
Although increased mergers of audit firms in the Iranian audit market has attracted the attention of profession, regulatory bodies and researchers, little evidence is available on the motivations, barriers, processes, types, consequences and reasons for failures of audit firm’s mergers. Therefore, the present study is an attempt to open the black box of mergers of audit firms through in-depth i...
متن کامل